$\forall$$a$, $b$:$\mathbb{Z}$. $\exists$$y$:$\mathbb{Z}$. GCD($a$;$b$;$y$) \& gcd($a$;$b$) $=$ $y$